- universal quantifier in fopc
下載手機(jī)詞典可隨時(shí)隨地查詞查翻譯
全稱量詞 (一階謂詞演算)的英文
相關(guān)詞匯
- 全稱: full name
- 量詞: classifier; measure word; qu ...
- 一: one
- 階: steps; stairs
- 謂詞演算: predicate calculus
- 一階謂詞演算: first-order logic; first-order predicate calculus; fopc
- 二階謂詞演算: second-order predicate calculus
- 高階謂詞演算: high-order predicate calculus; higher order predicate calculus; higher-order predicate calculus
- 三階謂詞演算: predicate calculus of the third order
- 一階純謂詞演算: pure predicate calculus of first order
- 一階謂詞: first-order predicate; predicate of first order
- 謂詞演算: first-order logic; predicate calculus; predicate logic; predicative calculus
- 狹謂詞演算: restricted predicate calculus
- 全稱量詞: allquantor universal quantifier; general quantifier; universal quantification; universal quantifier in fopc
- 一階謂詞邏輯: first order predicate logic; first-order logic; first-order predicate logic
- 廣義謂詞演算: extended predicate calculus
- 謂詞演算語(yǔ)言: predicate calculus language
- 一元謂詞演算: monadic predicate calculus; one place predicate calculus; unary predicate calculus
- 無(wú)界全稱量詞: unbounded universal quantifier
- 有界全稱量詞: bounded universal quantifier
- 擬受囿全稱量詞: quasi-limited univerasl quantifier; quasi-limiteduniveraslquantifier
- 全稱量詞化變?cè)?/span>: universally quantified riable; universally quantified variable; universallyquantifiedriable
- 帶恒等式的謂詞演算: predicate calculus with identity
- 基于謂詞演算的方法: predicate calculus based method
- 謂詞演算中的連接詞: connective in predicate calculus